The Verification of Merchant Registration in SET Protocol
نویسندگان
چکیده
The Merchant Registration in the Secure Electronic Transaction (SET) protocol is presented and its formal analysis is described. Based on the analysis, this paper unveils some potential vulnerabilities of SET. Such vulnerabilities have been identified when ENDL (extension of non-monotonic logic) is applied to verify the Merchant Registration in SET protocol. To our knowledge, this is the first attempt to analyze the Merchant Registration. Also, we present the modeling of the Merchant Registration for the purpose of mechanically model checking.
منابع مشابه
A NEW PROTOCOL MODEL FOR VERIFICATION OF PAYMENT ORDER INFORMATION INTEGRITY IN ONLINE E-PAYMENT SYSTEM USING ELLIPTIC CURVE DIFFIE-HELLMAN KEY AGREEMENT PROTOCOL
Two parties that conduct a business transaction through the internet do not see each other personally nor do they exchange any document neither any money hand-to-hand currency. Electronic payment is a way by which the two parties transfer the money through the internet. Therefore integrity of payment and order information of online purchase is an important concern. With online purchase the cust...
متن کاملVerifying the SET registration protocols
SET (Secure Electronic Transaction) is an immense e-commerce protocol designed to improve the security of credit card purchases. In this paper we focus on the initial bootstrapping phases of SET, whose objective is the registration of cardholders and merchants with a SET certificate authority. The aim of registration is twofold: getting the approval of the cardholder’s or merchant’s bank, and r...
متن کاملMeasurement of the immobilisation efficacy of a head fixation system
Background: In order to assign appropriate planning target volume (PTV) margins, each centre should measure the patient positioning deviations for their set-up techniques. At the Royal Marsden Hospital, UK, a conformal shell (cast) system is used when a stereotactic frame is not suitable. In this paper, we report on a series of measurements with the aim of obtaining the systematic and random ...
متن کاملFormal Verification of Cardholder Registration in SET
The first phase of the SET protocol, namely Cardholder Registration, has been modelled inductively. This phase is presented in outline and its formal model is described. A number of basic lemmas have been proved about the protocol using Isabelle/HOL, along with a theorem stating that a certification authority will certify a given key at most once. Many ambiguities, contradictions and omissions ...
متن کاملSurface reconstruction of detect contours for medical image registration purpose
Although, most of the abnormal structures of human brain do not alter the shape of outer envelope of brain (surface), some abnormalities can deform the surface extensively. However, this may be a major problem in a surface-based registration technique, since two nearly identical surfaces are required for surface fitting process. A type of verification known as the circularity check for th...
متن کامل